An Orthogonal Distribution Language for Uniform Object-Oriented Languages
نویسنده
چکیده
On one side the complexity of the design of distributed application systems is usually reduced significantly by using a distributed programming model that abstracts from the actual distribution and maybe even from the actual decomposition of the application. On the other side the developer needs to express the static and dynamic cooperation properties of the distributed application and therefore needs to control its decomposition and distribution. An orthogonal distribution language (ODL) is presented. It allows the developer to independently describe and adapt the decomposition and distribution of an application written in a uniform object-oriented and distributiontransparent language independently; i.e. without affecting the semantics of the application.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملTowards Modular Concurrency Control for Object-Oriented Distributed Systems
Object-based distributed systems are intended to merge the beneets of both object-based languages and distribution. To make such systems useful, it is however necessary to extend the basic object model so that it can permit the expression of distribution related aspects. In this paper, we discuss the issues raised by designing transaction concurrency control within an object-oriented distribute...
متن کاملDubious: A Modular, Statically Typed OO Core Language
Three trends in the development of advanced object-oriented languages are toward better encapsulation, increased expressiveness, and strong, static typing. To understand the interaction of these three design goals we have developed Dubious, a small and highly uniform core language. Dubious provides a simple and flexible object model as well as first-class modules. In addition, Dubious features ...
متن کاملCapabilities as Alias Control: Secure Cooperation in Dynamically Extensible Systems
Secure cooperation is the problem of protecting mutually suspicious code units within the same execution environment from their potentially malicious peers. A statically enforceable capability type system is proposed for the JVM bytecode language to provide fine-grained access control of shared resources among peer code units. The design of the type system is inspired by recent advances in alia...
متن کامل